(define o1 (or))
